BOUAJJANI, AHMED: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Analysis of Recursively Parallel Programs

Bouajjani, Ahmed, Emmi, Michael

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2013

Language:

english

File:

PDF, 382 KB

english, 2013

2

Bounded phase analysis of message-passing programs

Bouajjani, Ahmed, Emmi, Michael

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 2.69 MB

english, 2014

3

Analysis of recursively parallel programs

Bouajjani, Ahmed, Emmi, Michael

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 748 KB

english, 2012

4

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10145 || Effective Bug Finding in C Programs with Shape and Effect Abstractions

Bouajjani, Ahmed, Monniaux, David

Year:

2017

Language:

english

File:

PDF, 901 KB

english, 2017

5

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10145 || Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT

Bouajjani, Ahmed, Monniaux, David

Year:

2017

Language:

english

File:

PDF, 378 KB

english, 2017

6

[Lecture Notes in Computer Science] Networked Systems Volume 9466 || Towards an Optimal Pricing for Mobile Virtual Network Operators

Bouajjani, Ahmed, Fauconnier, Hugues

Year:

2015

Language:

english

File:

PDF, 209 KB

english, 2015

7

On the verification problem for weak memory models

Atig, Mohamed Faouzi, Bouajjani, Ahmed, Burckhardt, Sebastian, Musuvathi, Madanlal

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 779 KB

english, 2010

8

Tractable Refinement Checking for Concurrent Objects

Bouajjani, Ahmed, Emmi, Michael, Enea, Constantin, Hamza, Jad

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 986 KB

english, 2015

9

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10145 || Independence Abstractions and Models of Concurrency

Bouajjani, Ahmed, Monniaux, David

Year:

2017

Language:

english

File:

PDF, 433 KB

english, 2017

10

A logic of reachable patterns in linked data-structures

Greta Yorsh, Alexander Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 591 KB

english, 2007

11

[Lecture Notes in Computer Science] Networked Systems Volume 9466 || Performance Evaluation for Ad hoc Routing Protocols in Realistic Physical Layer

Bouajjani, Ahmed, Fauconnier, Hugues

Year:

2015

Language:

english

File:

PDF, 1.16 MB

english, 2015

12

On Symbolic Verification of Weakly Extended PAD

Ahmed Bouajjani, Jan Strejček, Tayssir Touili

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 406 KB

english, 2007

13

[ACM Press the 32nd ACM SIGPLAN conference - San Jose, California, USA (2011.06.04-2011.06.08)] Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 - On inter-procedural analysis of programs with lists and data

Bouajjani, Ahmed, Drăgoi, Cezara, Enea, Constantin, Sighireanu, Mihaela

Year:

2011

Language:

english

File:

PDF, 623 KB

english, 2011

14

Editorʼs foreword

Ahmed Bouajjani, David Harel, Lenore Zuck

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 63 KB

english, 2012

15

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10145 || Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions

Bouajjani, Ahmed, Monniaux, David

Year:

2017

Language:

english

File:

PDF, 1.18 MB

english, 2017

16

Verification of parametric concurrent systems with

Ahmed Bouajjani, Peter Habermehl, Tomáš Vojnar

Journal:

Formal Methods in System Design

Year:

2008

Language:

english

File:

PDF, 1.07 MB

english, 2008

17

COMPOSED BISIMULATION FOR TREE AUTOMATA

ABDULLA, PAROSH AZIZ, BOUAJJANI, AHMED, HOLÍK, LUKÁŠ, KAATI, LISA, VOJNAR, TOMÁŠ

Journal:

International Journal of Foundations of Computer Science

Year:

2009

Language:

english

File:

PDF, 219 KB

english, 2009

18

On reducing linearizability to state reachability

Bouajjani, Ahmed, Emmi, Michael, Enea, Constantin, Hamza, Jad

Journal:

Information and Computation

Year:

2018

Language:

english

File:

PDF, 517 KB

english, 2018

19

Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations

Ahmed Bouajjani, Peter Habermehl

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 1.97 MB

english, 1999

20

Checking Timed Büchi Automata Emptiness Efficiently

Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 1.39 MB

english, 2005

21

[Lecture Notes in Computer Science] Networked Systems Volume 9466 || Trust Based Energy Preserving Routing Protocol in Multi-hop WSN

Bouajjani, Ahmed, Fauconnier, Hugues

Year:

2015

Language:

english

File:

PDF, 435 KB

english, 2015

22

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10145 ||

Bouajjani, Ahmed, Monniaux, David

Year:

2017

Language:

english

File:

PDF, 20.87 MB

english, 2017

23

On verifying causal consistency

Bouajjani, Ahmed, Enea, Constantin, Guerraoui, Rachid, Hamza, Jad

Journal:

ACM SIGPLAN Notices

Year:

2017

Language:

english

File:

PDF, 443 KB

english, 2017

24

Reachability Analysis of Synchronized PA Systems

Ahmed Bouajjani, Javier Esparza, Tayssir Touili

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 405 KB

english, 2005

25

An efficient automata approach to some problems on context-free grammars

Ahmed Bouajjani, Javier Esparza, Alain Finkel, Oded Maler, Peter Rossmanith, Bernard Willems, Pierre Wolper

Journal:

Information Processing Letters

Year:

2000

Language:

english

File:

PDF, 96 KB

english, 2000

26

Abstract Regular Tree Model Checking

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomáš Vojnar

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 253 KB

english, 2006

27

Handling Liveness Properties in (ω-)Regular Model Checking

Ahmed Bouajjani, Axel Legay, Pierre Wolper

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 279 KB

english, 2005

28

Using Forward Reachability Analysis for Verification of Lossy Channel Systems

Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 236 KB

english, 2004

29

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 6252 || COMBINE: A Tool on Combined Formal Methods for Bindingly Verification

Bouajjani, Ahmed, Chin, Wei-Ngan

Year:

2010

Language:

english

File:

PDF, 94 KB

english, 2010

30

[Lecture Notes in Computer Science] Networked Systems Volume 9466 || Improving Cognitive Radio Wireless Network Performances Using Clustering Schemes and Coalitional Games

Bouajjani, Ahmed, Fauconnier, Hugues

Year:

2015

Language:

english

File:

PDF, 2.68 MB

english, 2015

31

Abstract regular (tree) model checking

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomáš Vojnar

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 861 KB

english, 2012

32

[Lecture Notes in Computer Science] Networked Systems Volume 9466 || Aspect-Based Realization of Non-functional Concerns in Business Processes

Bouajjani, Ahmed, Fauconnier, Hugues

Year:

2015

Language:

english

File:

PDF, 3.88 MB

english, 2015

33

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Analysis of recursively parallel programs

Bouajjani, Ahmed, Emmi, Michael

Year:

2012

Language:

english

File:

PDF, 748 KB

english, 2012

34

Widening techniques for regular tree model checking

Ahmed Bouajjani, Tayssir Touili

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 539 KB

english, 2012

35

Abstract semantic diffing of evolving concurrent programs

Bouajjani, Ahmed, Enea, Constantin, Lahiri, Shuvendu K.

Journal:

Formal Methods in System Design

Year:

2018

Language:

english

File:

PDF, 815 KB

english, 2018

36

A Generic Approach to the Static Analysis of Concurrent Programs with Procedures

Bouajjani, Ahmed, Esparza, Javier, Touili, Tayssir

Journal:

International Journal of Foundations of Computer Science

Year:

2003

Language:

english

File:

PDF, 2.84 MB

english, 2003

37

[Lecture Notes in Computer Science] Computer Aided Verification Volume 5643 || Explaining Counterexamples Using Causality

Bouajjani, Ahmed, Maler, Oded

Year:

2009

Language:

english

File:

PDF, 480 KB

english, 2009

38

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - On the verification problem for weak memory models

Atig, Mohamed Faouzi, Bouajjani, Ahmed, Burckhardt, Sebastian, Musuvathi, Madanlal

Year:

2010

Language:

english

File:

PDF, 779 KB

english, 2010

39

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Tractable Refinement Checking for Concurrent Objects

Bouajjani, Ahmed, Emmi, Michael, Enea, Constantin, Hamza, Jad

Year:

2015

Language:

english

File:

PDF, 986 KB

english, 2015

40

Programs with lists are counter automata

Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomáš Vojnar

Journal:

Formal Methods in System Design

Year:

2011

Language:

english

File:

PDF, 1.26 MB

english, 2011

41

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Verifying eventual consistency of optimistic replication systems

Bouajjani, Ahmed, Enea, Constantin, Hamza, Jad

Year:

2014

Language:

english

File:

PDF, 691 KB

english, 2014

42

Permutation rewriting and algorithmic verification

Ahmed Bouajjani, Anca Muscholl, Tayssir Touili

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 371 KB

english, 2007

43

[Lecture Notes in Computer Science] Networked Systems Volume 9466 || Optimizing Diffusion Time of the Content Through the Social Networks: Stochastic Learning Game

Bouajjani, Ahmed, Fauconnier, Hugues

Year:

2015

Language:

english

File:

PDF, 800 KB

english, 2015

44

[Lecture Notes in Computer Science] Networked Systems Volume 9466 || Coalitional Game Theory for Cooperative Transmission in VANET: Internet Access via Fixed and Mobile Gateways

Bouajjani, Ahmed, Fauconnier, Hugues

Year:

2015

Language:

english

File:

PDF, 541 KB

english, 2015

45

Preface

Ahmed Bouajjani

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 38 KB

english, 2001

46

[Lecture Notes in Computer Science] Computer Aided Verification Volume 5643 || Priority Scheduling of Distributed Systems Based on Model Checking

Bouajjani, Ahmed, Maler, Oded

Year:

2009

Language:

english

File:

PDF, 234 KB

english, 2009

47

[Lecture Notes in Computer Science] Computer Aided Verification Volume 5643 ||

Bouajjani, Ahmed, Maler, Oded

Year:

2009

Language:

english

File:

PDF, 10.22 MB

english, 2009

48

[ACM Press the 22nd ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1995.01.23-1995.01.25)] Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 - Verifying infinite state processes with sequential and parallel composition

Bouajjani, Ahmed, Echahed, Rachid, Habermehl, Peter

Year:

1995

Language:

english

File:

PDF, 1.23 MB

english, 1995

49

Parametric Verification of a Group Membership Algorithm

BOUAJJANI, AHMED, MERCERON, AGATHE

Journal:

Theory and Practice of Logic Programming

Year:

2006

Language:

english

File:

PDF, 274 KB

english, 2006

50

On inter-procedural analysis of programs with lists and data

Bouajjani, Ahmed, Drăgoi, Cezara, Enea, Constantin, Sighireanu, Mihaela

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 623 KB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски